Freer Monad

前提知識

忙しい人向け

(a) Functor 型クラスのインスタンスであるような型 f :: Type -> Type があるとき，Free f は Monad 型クラスのインスタンスになる

(b) f :: Type -> Type があるとき，Coyoneda f は Functor 型クラスのインスタンスになる

(a) と (b) により，f :: Type -> Type が与えられれば，Monad 型クラスのインスタンスとなる型が得られる